退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:从不对称到完全对称:模型检验中对称性约简的新技术
E. Allen Emerson; Richard J. Trefler;
机译:Rebeca模型检查中的对称和偏序约简技术
机译:CSP模型检查中的对称性降低
机译:从不对称到完全对称性:模型检查的对称性降低的新技术
机译:在模型检查中利用可交换性和对称性
机译:从非对称对称还是从对称非对称?
机译:模型检查'Rebeca'中的对称性和偏序降阶技术
机译:分布式模型检查中对称减少的方法和装置
机译:布局对称性约束检查方法和布局对称性约束检查设备
机译:检查装置,用于相对于参考系统检查机械零件和/或具有旋转对称性的孔的中心轴的位置
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。